Consensus is Easier Than Reliable Broadcast
نویسندگان
چکیده
We consider asynchronous distributed systems with message losses and process crashes. We study the impact of finite process memory on the solution to consensus, repeated consensus and reliable broadcast. With finite process memory, we show that in some sense consensus is easier to solve than reliable broadcast, and that reliable broadcast is as difficult to solve as repeated consensus: More precisely, with finite memory, consensus can be solved with failure detector S, and P− (a variant of the perfect failure detector which is stronger than S) is necessary and sufficient to solve reliable broadcast and repeated consensus.
منابع مشابه
With Finite Memory Consensus Is Easier Than Reliable Broadcast
We consider asynchronous distributed systems with message losses and process crashes. We study the impact of finite process memory on the solution to consensus, repeated consensus and reliable broadcast. With finite process memory, we show that in some sense consensus is easier to solve than reliable broadcast, and that reliable broadcast is as difficult to solve as repeated consensus: More pre...
متن کاملA Realistic Look At Failure Detectors
This paper shows that, in an environment where we do not bound the number of faulty processes, the class P of Perfect failure detectors is the weakest (among realistic failure detectors) to solve fundamental agreement problems like uniform consensus, atomic broadcast, and terminating reliable broadcast (also called Byzantine Generals). Roughly speaking, in this environment, we collapse the Chan...
متن کاملImplementing uniform reliable broadcast with binary consensus in systems with fair-lossy links
When implementing multivalued consensus using binary consensus, previous algorithms assume the availability of uniform reliable broadcast, which is not implementable in systems with fair-lossy links. In this paper, we show that with binary consensus we can implement uniform reliable broadcast directly in systems with fair-lossy links, and thus the separate assumption of the availability of unif...
متن کاملGeneric early-deciding techniques for Consensus
Two techniques for obtaining efficient agreement protocols are described. Firstly, Consensus frameworks, such as Lambda [7], allow one to easily construct latencyoptimal agreement protocols tailored to particular settings. Unlike Lambda, our framework consists of rounds that do not have to terminate and thus are easier to implement. It can also handle Byzantine failures. Our second technique pr...
متن کاملOn the Impossibility of Boosting Distributed Service Resilience∗
We show that no deterministic algorithm can solve consensus in the presence of t+1 process crash failures, in a system of n processes that communicate in a reliable way and synchronize their activities using any number of t-resilient services. These base services can range from any type of atomic objects shared by the processes (including consensus objects), to any class of non-atomic objects l...
متن کامل